<?php
/**
 * Created by PhpStorm.
 * User: dongkai
 * Date: 2018/3/10
 * Time: 下午10:13
 */

$a = 123;
echo $a;